401. The handbook of research on scalable computing technologies /
پدیدآورنده : [edited by] Kuan-Ching Li [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational grids (Computer systems),Parallel processing (Electronic computers),System design.,Ubiquitous computing.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers),System design.,Ubiquitous computing.
رده :
QA76
.
9
.
C58
H356
2010eb
402. The handbook of software for engineers and scientists /
پدیدآورنده : editor-in-chief, Paul W. Ross.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
رده :
QA76
.
754
.
H35
2018eb
403. The programming and proof system ATES advanced techniques integration into efficient scientific software
پدیدآورنده : Armand Puccetti (ed.). With contrib. by D. Brocard ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Computer programming.,Computer software -- Development.
404. The proteomics protocols handbook
پدیدآورنده : edited by John M. Walker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proteomics, Handbooks, manuals, etc.,Proteomics-- methods.,Proteomics-- methods.,Genetics.,Proteins.,Science-- Chemistry-- Organic.,Science-- Life Sciences-- Genetics & Genomics.,Protéomique.,Biomédecine.,Eiwitsynthese.,Eiwitten.,Proteomanalyse,Proteomics-- methods.,Proteomics.,Proteomics.,SCIENCE-- Life Sciences-- Biochemistry.,Sciences de la vie.,Transcriptiefactoren.,Wetenschappelijke technieken.
رده :
QP551
.
P75675
2005
405. The roots of reading comprehension instruction / P. David Pearson -- The development of children's reading comprehension / Scott G. Paris and Ellen E. Hamilton -- In search of the "simple view" of reading comprehension / James V. Hoffman -- Identifying and describing constructively responsive comprehension strategies in new and traditional forms of reading / Peter Afflerbach and Byeong-Young Cho -- Helping readers make sense of print : research that supports a whole language pedagogy / Kenneth S. Goodman and Yetta M. Goodman -- The role of cognitive flexibility in reading comprehension : past, present, and future / Kelly B. Cartwright -- Ways of meaning making : sociocultural perspectives on reading comprehension / James Gavelek and Patrick Bresnahan -- Transactional theory and critical theory in reading comprehension / James S. Damico, Gerald Campano, and Jerome C. Harste -- Grounding reading comprehension in the neuroscience literatures / George G. Hruby -- Text comprehension : a retrospective, perspective, and prospective / Emily Fox and Patricia A. Alexander -- Disciplinary comprehension / Cynthia Shanahan -- The agency and artistry of meaning makers within and across digital spaces / Robert J. Tierney -- Comprehension and computer technology : past results, current knowledge, and future promises / Michael L. Kamil and Helen Kim Chou -- Motivation and reading comprehension / Samuel D. Miller and Beverly S. Faircloth -- Vocabulary and reading comprehension : the nexus of meaning / James F. Baumann -- Cognitive strategy instruction / Janice A. Dole, Jeffery D. Nokes, and Dina Drits -- Metacognitive processes and reading comprehension / Linda Baker and Lisa Carter Beall -- Self-regulated comprehension / Dixie D. Massey -- Formal and informal measures of reading comprehension / Lauren Leslie and Joanne Caldwell -- Assessing comprehension of young children / Katherine A. Dougherty Stahl -- Approaches to teaching reading comprehension / Taffy E. Raphael ... [et al.] -- Comprehension and discussion of text / Janice F. Almasi and Keli Garas-York -- Comprehension instruction in kindergarten through grade three / Cathy Collins Block and Jan Lacina -- Developing higher order comprehension in the middle grades / Ruth Wharton-McDonald and Shannon Swiger -- Improving adolescent comprehension : developing comprehension strategies in the content areas / Mark W. Conley -- Comprehension difficulties among struggling readers / Richard L. Allington and Ann McGill-Franzen -- Reading comprehension and diversity in historical perspective : literacy, power, and native Hawaiians / Kathryn H. Au and Julie Kaomea -- Culturally relevant pedagogy and reading comprehension / Colleen M. Fairbanks ... [et al.] -- Reading comprehension and English language learners / Kathryn Prater -- Family literacy and reading comprehension / Patricia A. Edwards and Jennifer D. Turner -- Improving comprehension instruction through quality professional development / Misty Sailors -- Public policy and the future of reading comprehension research / Cathy Roller -- Where to from here? : themes, trends, and questions / Gerald G. Duffy ... [et al.]. 0
پدیدآورنده : edited by Susan E. Israel, Gerald G. Duffy.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
406. The symbolic computation of integrability structures for partial differential equations /
پدیدآورنده : Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
407. The world of the counselor :
پدیدآورنده : Ed Neukrug
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Counseling psychology.,Psychotherapy.
408. Theory and Practice of Parallel Programming :
پدیدآورنده : edited by Takayasu Ito, Akinori Yonezawa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer system failures.,Microprocessors.
رده :
TK7895
.
M5
E358
1995
409. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
410. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
411. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
412. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tomáš Vojnar, Lijun Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
413. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
414. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
415. Type systems for distributed programs :
پدیدآورنده : Ornela Dardha
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
76
.
V47
416. UNIX power tools /
پدیدآورنده : Shelley Powers [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : UNIX (Computer file),Utilities (Computer programs)
417. Uncertainty and intelligent information systems /
پدیدآورنده : editors, Bernadette Bouchon-Meunier [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
418. Users manual for NISA II: numerically integrated elements for system analysis
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، NISA )Computer programs(,، Finite element method-- Computer programs
رده :
QA
76
.
76
.
A52
.
U83
1993
419. Using Toolpack Software Tools :
پدیدآورنده : edited by A.A. Pollicini.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
420. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013